b/lib-b.agda-lib
c/lib-c.agda-lib
